Nuprl Definition : eclact
0,22
postcript
pdf
a
.
n
== inr(inr(inr(inr(inr(inl(<
a
,
n
>))))))
latex
Definitions
inr(
x
)
,
inl(
x
)
,
<
a
,
b
>
FDL editor aliases
eclact, eclact
origin